# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /cvs/zport/sci-mathematics/minisat/minisat-2.070721.ebuild,v 1.1 2007/08/21 02:36:38 zechs Exp $

inherit eutils

my_PN="MiniSat"
my_PV="v1.14"
my_P="${my_PN}_${my_PV}"
my_A="${my_P}.2006-Aug-29.src.zip"
my_S="${WORKDIR}/${my_P}"
DESCRIPTION="MiniSat - a SAT solver."
HOMEPAGE="http://minisat.se/"
SRC_URI="http://minisat.se/downloads/${my_A}"

LICENSE="as-is"
SLOT="0"
KEYWORDS="x86 sparc"
IUSE="core"
DEPEND="( )"

src_unpack() {
	unzip -d ${WORKDIR} ${DISTDIR}/${my_A}
}

src_compile() {
	cd ${my_S}
	emake
}

src_install() {
	cd ${my_S}
	dobin minisat
}
